Hypothetical Reasoning via Provenance Abstraction

Data analytics often involves hypothetical reasoning: repeatedly modifying the data and observing the induced effect on the computation result of a data-centric application. Previous work has shown that fine-grained data provenance can help make such an analysis more efficient: instead of a costly re-execution of the underlying application, hypothetical scenarios are applied to a pre-computed provenance expression. However, storing provenance for complex queries and large-scale data leads to a significant overhead, which is often a barrier to the incorporation of provenance-based solutions. To this end, we present a framework that allows to reduce provenance size. Our approach is based on reducing the provenance granularity using user defined abstraction trees over the provenance variables; the granularity is based on the anticipated hypothetical scenarios. We formalize the tradeoff between provenance size and supported granularity of the hypothetical reasoning, and study the complexity of the resulting optimization problem, provide efficient algorithms for tractable cases and heuristics for others. We experimentally study the performance of our solution for various queries and abstraction trees. Our study shows that the algorithms generally lead to substantial speedup of hypothetical reasoning, with a reasonable loss of accuracy

Apparent Superluminal Behavior

The apparent superluminal propagation of electromagnetic signals seen in recent experiments is shown to be the result of simple and robust properties of relativistic field equations. Although the wave front of a signal passing through a classically forbidden region can never move faster than light, an attenuated replica of the signal is reproduced ``instantaneously'' on the other side of the barrier. The reconstructed signal, causally connected to the forerunner rather than the bulk of the input signal, appears to move through the barrier faster than light.Comment: 8 pages, no figure

Hawking Radiation on an Ion Ring in the Quantum Regime

This paper discusses a recent proposal for the simulation of acoustic black holes with ions. The ions are rotating on a ring with an inhomogeneous, but stationary velocity profile. Phonons cannot leave a region, in which the ion velocity exceeds the group velocity of the phonons, as light cannot escape from a black hole. The system is described by a discrete field theory with a nonlinear dispersion relation. Hawking radiation is emitted by this acoustic black hole, generating entanglement between the inside and the outside of the black hole. We study schemes to detect the Hawking effect in this setup.Comment: 42 pages (one column), 17 figures, published revised versio

Structurally Tractable Uncertain Data

Many data management applications must deal with data which is uncertain, incomplete, or noisy. However, on existing uncertain data representations, we cannot tractably perform the important query evaluation tasks of determining query possibility, certainty, or probability: these problems are hard on arbitrary uncertain input instances. We thus ask whether we could restrict the structure of uncertain data so as to guarantee the tractability of exact query evaluation. We present our tractability results for tree and tree-like uncertain data, and a vision for probabilistic rule reasoning. We also study uncertainty about order, proposing a suitable representation, and study uncertain data conditioned by additional observations.Comment: 11 pages, 1 figure, 1 table. To appear in SIGMOD/PODS PhD Symposium 201

On Multipartite Pure-State Entanglement

We show that pure states of multipartite quantum systems are multiseparable (i.e. give separable density matrices on tracing any party) if and only if they have a generalized Schmidt decomposition. Implications of this result for the quantification of multipartite pure-state entanglement are discussed. Further, as an application of the techniques used here, we show that any purification of a bipartite PPT bound entangled state is tri-inseparable, i.e. has none of its three bipartite partial traces separable.Comment: 8 Pages ReVTeX, 4 figures (eps); v2: Revised terminology, added two references and other minor changes; v3: Minor changes, added two references, added author's middle initial; v4: One footnote remove

Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries

The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the "correct" algebraic structure for Union of Conjunctive Queries, in the sense that its use allows provenance to be invariant under certain expected query equivalence axioms. In this paper we present the first (to our knowledge) algebraic provenance model, for a fragment of update queries, that is invariant under set equivalence. The fragment that we focus on is that of hyperplane queries, previously studied in multiple lines of work. Our algebraic provenance structure and corresponding provenance-aware semantics are based on the sound and complete axiomatization of Karabeg and Vianu. We demonstrate that our construction can guide the design of concrete provenance model instances for different applications. We further study the efficient generation and storage of provenance for hyperplane update queries. We show that a naive algorithm can lead to an exponentially large provenance expression, but remedy this by presenting a normal form which we show may be efficiently computed alongside query evaluation. We experimentally study the performance of our solution and demonstrate its scalability and usefulness, and in particular the effectiveness of our normal form representation

Astrometric Control of the Inertiality of the Hipparcos Catalog

Based on the most complete list of the results of an individual comparison of the proper motions for stars of various programs common to the Hipparcos catalog, each of which is an independent realization of the inertial reference frame with regard to stellar proper motions, we redetermined the vector $\omega$ of residual rotation of the ICRS system relative to the extragalactic reference frame. The equatorial components of this vector were found to be the following: $\omega_x = +0.04\pm 0.15$ mas yr$^{-1}$, $\omega_y = +0.18\pm 0.12$ mas yr$^{-1}$, and $\omega_z = -0.35\pm 0.09$ mas yr$^{-1}$.Comment: 8 pages, 1 figur

Magnetic Resonance

Contains research objectives and reports on three research projects

NMR Simulation of an Eight-State Quantum System

The propagation of excitation along a one-dimensional chain of atoms is simulated by means of NMR. The physical system used as an analog quantum computer is a nucleus of 133-Cs (spin 7/2) in a liquid crystalline matrix. The Hamiltonian of migration is simulated by using a special 7-frequency pulse, and the dynamics is monitored by following the transfer of population from one of the 8 spin energy levels to the other.Comment: 10 pages, 3 figure

Microscopic Derivation of Non-Markovian Thermalization of a Brownian Particle

In this paper, the first microscopic approach to the Brownian motion is developed in the case where the mass density of the suspending bath is of the same order of magnitude as that of the Brownian (B) particle. Starting from an extended Boltzmann equation, which describes correctly the interaction with the fluid, we derive systematicaly via the multiple time-scale analysis a reduced equation controlling the thermalization of the B particle, i.e. the relaxation towards the Maxwell distribution in velocity space. In contradistinction to the Fokker-Planck equation, the derived new evolution equation is non-local both in time and in velocity space, owing to correlated recollision events between the fluid and particle B. In the long-time limit, it describes a non-markovian generalized Ornstein-Uhlenbeck process. However, in spite of this complex dynamical behaviour, the Stokes-Einstein law relating the friction and diffusion coefficients is shown to remain valid. A microscopic expression for the friction coefficient is derived, which acquires the form of the Stokes law in the limit where the mean-free in the gas is small compared to the radius of particle B.Comment: 28 pages, no figure, submitted to Journal of Statistical Physic